#include <stdarg.h>

static char buf[1024];

void uart_putchar(char c);
int vsprintf(char * buf, const char * fmt, va_list args);

int printk(const char *fmt, ...)
{
    va_list args;
    int count;
    int i;

    va_start(args, fmt);
    count = vsprintf(buf, fmt, args);
    va_end(args);
    for (i = 0; i < count; i++)
        uart_putchar(buf[i]);
    return count;
}
